Model Checking Safety-Critical Systems Using Safecharts
نویسندگان
چکیده
منابع مشابه
Modeling and Verification of Safety-Critical Systems Using Safecharts
With rapid development in science and technology, we now see the ubiquitous use of different types of safety-critical systems in our daily lives such as in avionics, consumer electronics, and medical systems. In such systems, unintentional design faults might result in injury or even death to human beings. To make sure that safety-critical systems are really safe, there is need to verify them f...
متن کاملSafecharts for Specifying and Designing Safety Critical Systems
This paper proposes a novel variant of Statecharts, called Safecharts, especially for use in the speciication and the design of safety critical systems. The objective is to provide a sharper focus on safety issues and a systematic approach to deal with them. This is achieved by making a clear separation between functional and safety requirements. A novel feature of Safecharts is the safety anno...
متن کاملModeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, unintentional design faults might result in injury or even death to human beings. To avoid such mishaps, we need to verify safetycritical systems thoroughly, where formal verification techniques such as model checking p...
متن کاملVerification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools
Formal methods are making their way into the development of safety-critical systems. In this paper, we describe a case study where a simple 2oo3 voting scheme for a shutdown system was verified using two bounded model checking tools, CBMC and EBMC. The system represents Systematic Capability level 3 according to IEC 61508 ed2.0. The verification process was based on requirements and pseudo code...
متن کاملSpecifying Safety Monitors for Autonomous Systems Using Model-Checking
Autonomous systems operating in the vicinity of humans are critical in that they can be physically dangerous. As the complexity of autonomous system software makes the zero-fault objective very hard to reach, we adopt a fault-tolerance approach. We consider a separate safety channel, called a monitor, that is able to partially observe the system and to trigger safety-ensuring actuations. A syst...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Computers
سال: 2007
ISSN: 0018-9340
DOI: 10.1109/tc.2007.1021